منابع مشابه
Assumption Grammars: Parsing as Hypothetical Reasoning
A general framework of handling state information for logic programming languages on top of backtrackable assumptions (linear aane and intuition-istic implications ranging over the current continuation) is introduced, with emphasis on its high-level natural language processing abilities. Assumption Grammars (AGs), a variant of Extended DCGs particularly suitable for hypothetical reasoning, and ...
متن کاملA Logic for Hypothetical Reasoning
This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an alternative logic for this purpose. The paper focuses on a form of hypothetical reasoning which appears computationally tractable. Specifically, Horn-clause logic is augmented with rules, called embedded implications, which can hypothetically add atomic formulas to a rulebase. By introducing the no...
متن کاملUsing hypothetical reasoning as a method for belief ascription
A key cognitive faculty that enables humans to communicate with each other is their ability to incrementally construct and use models describing the mental states of others. Every such model describing some other cognitive agent will realistically contain only a nite number of sentences in some language of thought, hence, assuming su ciently powerful inference rules, some of its consequences wi...
متن کاملReasoning by Analogy as a Partial Identity Between Models
We present in this paper a formal theory of reasoning by analogy. We are mainly concerned with three subjects : a formal definition of analogy, a formalization of the reasoning in terms of deduction, and a method for realizing the reasoning in a logic programming system. First we assume that each domain for the reasoning is the least model for logic program. Then we consider an analogy as a par...
متن کاملReasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction
theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Japan Society for Fuzzy Theory and Systems
سال: 1992
ISSN: 0915-647X,2432-9932
DOI: 10.3156/jfuzzy.4.4_631